]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1d6ddf0) | patch
extensionSystem: Store extensions in a Map
authorFlorian Müllner <fmuellner@gnome.org>
Sun, 7 Jul 2019 22:01:11 +0000 (00:01 +0200)
committerFlorian Müllner <florian.muellner@gmail.com>
Sat, 20 Jul 2019 14:17:35 +0000 (14:17 +0000)
commit43cb3754d9b2f805422db65da03134ca6628ebe6
tree2ec4221301400a8e337c82dfe57f8546daa4ef7ftree | snapshot
parent1d6ddf060b8672481eda6d673d064b9cdc2bb1bacommit | diff
extensionSystem: Store extensions in a Map

After making the extensions map private to the ExtensionManager, we can
switch it to a proper hash table which is more appropriate.

https://bugzilla.gnome.org/show_bug.cgi?id=789852
js/misc/extensionUtils.js diff | blob | history
js/ui/extensionDownloader.js diff | blob | history
js/ui/extensionSystem.js diff | blob | history
js/ui/lookingGlass.js diff | blob | history
js/ui/shellDBus.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.